A Model for Capturing and Tracing Architectural Designs
نویسندگان
چکیده
Software architecture constitutes the primary design of a software system. Consequently, architectural design decisions involved in architecture design have a key impact on the system in such aspects as future maintenance costs, resulting quality, and timeliness. However, the applied knowledge employed and the design decisions taken by soihvare architects are not explicitly represented in the design despite their important role; consequently, they remain in the mind of designers and are lost with time. In this work, a model for capturing and tracing the products and architecmral design decisions involved in software architecture design processes is proposed. An operational perspective is considered in which design decisions can be modelled by means of design operations. The basic ontology of situation calculus is adopted to formally model the evolution of a software architecture.
منابع مشابه
Supporting Consistency between Architectural Design Decisions and Component Models through Reusable Architectural Knowledge Transformations
In recent years, the software architecture community has proposed to use architectural design decisions (ADDs) for capturing the design rationale and the architectural knowledge (AK). As software systems evolve both ADDs and architectural designs need to be documented and maintained. This is a tedious and time-consuming task because of the lack of systematic and automated support for bridging b...
متن کاملHarmonizing architectural decisions with component view models using reusable architectural knowledge transformations and constraints
Architectural design decisions (ADDs) have been used in recent years for capturing design rationale and documenting architectural knowledge (AK). However, various architectural design views still provide the most common means for describing and communicating architectural design. The evolution of software systems requires that both ADDs and architectural design views are documented and maintain...
متن کاملArchitectural Verification of Black-Box Component-Based Systems
We introduce an original approach, which combines monitoring and model checking techniques into a comprehensive methodology for the architectural verification of Component-based systems. The approach works by first capturing the traces of execution via the instrumented middleware; then, the observed traces are reverse engineered into Message Sequence Charts, which are then checked for complianc...
متن کاملFactors Affecting the Judging the Final Design of Architecture Students in Iranian Universities
Evaluation of architectural designs Judges the design. In this way, it measures the amount of variables in the design from the desired aspect and then judges it. Due to the important role of arbitration in the courses of architectural projects, if the type of arbitration is not clear, it will affect the appropriate atmosphere on arbitration, will cause unrelated demands related to educational g...
متن کاملA Comparative Study of Performance of Adaptive Web Sampling and General Inverse Adaptive Sampling in Estimating Olive Production in Iran
Nowadays, there is an increasing use of sampling methods in network and spatial populations. Although the most common link-tracing designs such as adaptive cluster sampling and snowball sampling have advantages over conventional sampling designs such as simple random sampling and cluster sampling, these designs still present many drawbacks. Adaptive web sampling is a new link-tracing design tha...
متن کامل